mini-os: arm: boot code
authorThomas Leonard <talex5@gmail.com>
Fri, 8 Aug 2014 15:47:34 +0000 (16:47 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 8 Sep 2014 11:16:06 +0000 (12:16 +0100)
commitdce56dfac03cdc55b95e764b953f459ca0abe5b6
treeed4def7fb780cd6376f738676964428c287e2f71
parentabc465b15c341035e6a398e34a108be63035cfc2
mini-os: arm: boot code

Based on an initial patch by Karim Raslan.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/arch/arm/arm32.S [new file with mode: 0644]
extras/mini-os/arch/arm/hypercalls32.S [new file with mode: 0644]
extras/mini-os/arch/arm/minios-arm32.lds [new file with mode: 0755]
extras/mini-os/arch/arm/setup.c [new file with mode: 0644]